Monoids over domains

نویسنده

  • Michael W. Mislove
چکیده

In this paper, we describe three distinct monoids over domains, each with a commutative analog, the latter of which define bag domain monoids. Our results were inspired by work by Varacca (Varacca 2003), and they lead to a constructive approach to his Hoare indexed valuations over a continuous poset P . We use our constructive approach to describe an analog of the probabilistic power domain and the laws which characterize it that forms a Scott-closed subset of Varacca’s construct. These we call the Hoare random variables over P .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the U-WPF Acts over Monoids

Valdis Laan in [5] introduced an extension of strong flatness which is called weak pullback flatness. In this paper we introduce a new property of acts over monoids, called U-WPF which is an extension of weak pullback flatness and give a classification of monoids by this property of their acts and also a classification of monoids when this property of acts implies others. We also show that regu...

متن کامل

-torsion free Acts Over Monoids

In this paper firt of all we introduce a generalization of torsion freeness of acts over monoids, called -torsion freeness. Then in section 1 of results we give some general properties and in sections 2, 3 and 4 we give a characterization of monoids for which this property of their right Rees factor, cyclic and acts in general  implies some other properties, respectively.

متن کامل

On Some Generalized Valuation Monoids

The valuation monoids and pseudo-valuation monoids have been established through valuation domains and pseudo-valuation domains respectively. In this study we continue these lines to describe the almost valuation monoids, almost pseudo-valuation monoids and pseudoalmost valuation monoids. Further we also characterized the newly described monoids as the spirit of valuation monoids pseudo-valuati...

متن کامل

On Regularity of Acts

In this article we give a characterization of monoids for which torsion freeness, ((principal) weak, strong) flatness, equalizer flatness or Condition (E) of finitely generated and (mono) cyclic acts and Condition (P) of finitely generated and cyclic acts implies regularity. A characterization of monoids for which all (finitely generated, (mono) cyclic acts are regular will be given too. We als...

متن کامل

Discrete Random Variables over Domains

In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabilistic computation within domain theory. Our approach relies on new results about commutative monoids defined on domains that also allow actions of the non-negative reals. Using our approach, we define two such familie...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Mathematical Structures in Computer Science

دوره 16  شماره 

صفحات  -

تاریخ انتشار 2006